$\forall$$i$:Id, $w$:World, $p$:FairFifo, $t$:$\mathbb{N}$. $\neg$isnull(a($i$;$t$)) $\Rightarrow$ (valtype($\langle$$i$$,\,$$t$$\rangle$) $\sim$ valtype($i$;a($i$;$t$)))